A Representation Theorem for Second-Order Functionals

نویسندگان

  • Mauro Jaskelioff
  • Russell O'Connor
چکیده

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a datatypegeneric representation theorem. More precisely, we prove a representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class of functors are easily representable in languages such as Haskell, but are difficult to analyse and reason about. The concrete representation provided by the theorem is easier to analyse, but it might not be as convenient to implement. Therefore, depending on the task at hand, the change of representation may prove valuable in one direction or the other. We showcase the usefulness of the representation theorem with a range of examples. Concretely, we show how the representation theorem can be used to prove that traversable functors are finitary containers, how coalgebras of a parameterised store comonad relate to very well-behaved lenses, and how algebraic effects might be implemented in a functional language.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

GENERALIZED POSITIVE DEFINITE FUNCTIONS AND COMPLETELY MONOTONE FUNCTIONS ON FOUNDATION SEMIGROUPS

A general notion of completely monotone functionals on an ordered Banach algebra B into a proper H*-algebra A with an integral representation for such functionals is given. As an application of this result we have obtained a characterization for the generalized completely continuous monotone functions on weighted foundation semigroups. A generalized version of Bochner’s theorem on foundation se...

متن کامل

A FUZZY VERSION OF HAHN-BANACH EXTENSION THEOREM

In this paper, a fuzzy version of the analytic form of Hahn-Banachextension theorem is given. As application, the Hahn-Banach theorem for$r$-fuzzy bounded linear functionals on $r$-fuzzy normedlinear spaces is obtained.

متن کامل

A Variational Method for Second Order Shape Derivatives

We consider shape functionals obtained as minima on Sobolev spaces of classical integrals having smooth and convex densities, under mixed Dirichlet-Neumann boundary conditions. We propose a new approach for the computation of the second order shape derivative of such functionals, yielding a general existence and representation theorem. In particular, we consider the p-torsional rigidity functio...

متن کامل

On the extension of the Namioka-Klee theorem and on the Fatou property for Risk Measures

This paper has been motivated by general considerations on the topic of Risk Measures, which essentially are convex monotone maps de…ned on spaces of random variables, possibly with the so-called Fatou property. We show …rst that the celebrated Namioka-Klee theorem for linear, positive functionals holds also for convex monotone maps on Frechet lattices. It is well-known among the specialists th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Funct. Program.

دوره 25  شماره 

صفحات  -

تاریخ انتشار 2015